Works by Sh^|^Ocirc Maehara

( view other items matching `Sh^|^Ocirc Maehara`, view all matches )
5 found
Order:
  1.  33
    A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  15
    Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels.Yoshito Hanatani, Sh^|^Ocirc Maehara & Ji - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):19-30.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  15
    A System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  21
    General Recursive Functions in the Number-Theoretic Formal System.Sh^|^Ocirc Maehara & Ji - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark